101. STOC'11 : proceedings of the 43rd ACM Symposium on Theory of Computing, June 6-8, 2011, San Jose, California, USA
Author: sponsored by : ACM SIGACT; supported by : Microsoft Research, Google, and IBM
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic digital computers,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Computational complexity
Classification :
QA
267
.
7
.
A25
2011
102. STOC'05 : proceedings of the 37th Annual ACM Symposium on Theory of Computing : Baltimore, Maryland, USA, May 22-24, 2005
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2005
103. STOC'07 : proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2007
104. STOC'06 : proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, Washington, USA, May 21-23, 2006
Author: sponsored by SIGACT, the ACM Special Interest Group for Algorithms and Computation Theory
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Electronic data processing,Congresses ، Computer programming,Congresses ، Electronic digital computers
Classification :
QA
267
.
7
.
A25
2006
105. SWAT 90
Author: Scandinavian Workshop on Algorithm Theory (2nd : 1990 : Bergen, Norway)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Algorithms- Congresses►Computational complexity- Congresses
Classification :
9
.
58
.
S28
106. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden ]i.e. Norway[, July 11-14, 1990 : Proceedings
Author: J.R. Gilbert, R. Karlsson )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Algorithms,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
447
107. SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Berger, Sweden )i.e. Norway(, July 11-14, 1990 : proceedings
Author: Scandinavian Workshop on Algorithm Theory, )2nd, 0991, Bergen, Norway(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algorithms-- Congresses,، Computational complexity-- Congresses
Classification :
QA
9
.
58
.
S28
1990
108. SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings
Author: Scandinavian Workshop on Algorithm Theory, )1st, 8891, Halmstad, Sweden(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Algorithms-- Congresses,، Computational complexity-- Congresses
Classification :
QA
9
.
58
.
S93
1988
109. SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings
Author: R. Karlsson, A. Lingas, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Algorithms,Congresses ، Computational complexity
Classification :
QA
76
.
L28
Vol
.
318
110. Theory and applications of models of computation :
Author: Mitsunori Ogihara, Jun Tarui (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
Classification :
QA76
.
9
.
M35
T36
2011eb
111. Theory and applications of models of computation :
Author: T.V. Gopal, Junzo Watada (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity, Congresses.,Computer science-- Mathematics, Congresses.,Turing machines, Congresses.,Computational complexity.,Computer science-- Mathematics.,Turing machines.
Classification :
QA76
.
9
.
M35
T35
2019eb
112. Theory and applications of satisfiability testing -- SAT 2019 :
Author: Mikoláš Janota, Inês Lynce (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
Classification :
QA76
.
9
.
A43
113. Variable neighborhood search :
Author: Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
Classification :
QA402
.
5
